Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
291	´ Lecture at Ecole Jeunes Chercheurs en Programmation (EJCPProgramming and Proving: Practice with FoCaLiZe Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:22 Mathematical logic Mathematical proofs Logical syntax Deduction Proof assistant Natural deduction Coq Theorem Automated proof checking Logic Mathematics Proof theory
292	INSTRUCTIONS FOR PRODUCING A CAMERA-READY MANUSCRIPT A.B. AUTHOR Department of Physics, Theoretical Physics, 1 Keble Road, Oxford OX1 3NP, England This is where the abstract should be placed. It should consist of one pa Add to Reading List Source URL: moriond.in2p3.fr Language: English - Date: 2015-04-01 17:53:21 Dependently typed programming Philosophy of computer science Type theory Proof theory Ordinal numbers Curry–Howard correspondence
293	From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/ Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:19 Automated theorem proving Propositional calculus Deduction Natural deduction Sequent calculus Resolution Rewriting Method of analytic tableaux Rule of inference Logic Mathematical logic Proof theory
294	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
295	82 38Sr γ (†γ100 ) E2 ∆ : −Sn: Sp: 7841 8 Add to Reading List Source URL: ie.lbl.gov Language: English - Date: 1997-09-25 21:19:08 Natural deduction Proof theory Geometric group theory Modular forms Deduction
296	An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-19 14:37:06 Mathematics Z notation Zermelo–Fraenkel set theory Ordinal numbers Constructible universe Ordinal analysis Consistency Forcing Proof theory Mathematical logic Logic
297	Secure Two-Party Computation with Low Communication Ivan Damg˚ard∗ Sebastian Faust† Carmit Hazay‡ Add to Reading List Source URL: www.eng.biu.ac.il Language: English - Date: 2013-10-04 08:09:02 Complexity classes Probabilistic complexity theory Zero-knowledge proof Probabilistically checkable proof NP Proof of knowledge IP Non-interactive zero-knowledge proof Soundness Cryptography Cryptographic protocols Theoretical computer science
298	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
299	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗ The complementarity and interaction between computation Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:00 Cut-elimination theorem Sequent Rule of inference First-order logic Formal proof Natural deduction Structural proof theory Logic Proof theory Mathematical logic
300	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory

UPDATE